Перевод: с английского на русский

с русского на английский

proof tree

Толкование Перевод

1 proof tree

мат. дерево доказательства

Большой англо-русский и русско-английский словарь > proof tree
2 proof tree

1) Математика: дерево доказательства

2) Автоматика: дерево доказательства теоремы

Универсальный англо-русский словарь > proof tree
3 proof tree

дерево доказательств

English-Russian electronics dictionary > proof tree
4 proof tree

дерево доказательства теоремы

English-Russian dictionary of mechanical engineering and automation > proof tree
5 proof tree

мат.

дерево доказательства

English-Russian scientific dictionary > proof tree
6 proof

1) доказательство; обоснование; подтверждение

2) полигр. корректура, пробный оттиск

3) контрольный отпечаток

4) проверка; испытание; проба || проверять; испытывать; опробовать

5) безопасный; защищённый

6) обеспечивать непроницаемость; герметизировать

•

axiom needs no proof — аксиома не требует доказательства

not serving as a proof — недоказательный

proof against — устойчивый к воздействию (какого-л. фактора)

proof by analysis — доказательство путём анализа

proof by contradiction — мат. доказательство от противного

proof by enumeration — доказательство путём перебора вариантов

proof by exhaustion — доказательство путём полного перебора вариантов

proof by induction — мат. доказательство по индукции

proof by matrices — мат. доказательство с помощью матриц

proof by reduction to absurdity — доказательство от противного

proof from hypothesis — доказательство с помощью гипотезы

proof in outline — набросок [схема] доказательства;

the proof is immediate — доказательство получаем сразу

the proof is obvious — доказательство очевидно

the proof is straightforward — доказательство не вызывает затруднений

this completes the proof — это завершает доказательство; на этом доказательство заканчивается

this concludes the proof of theorem — это завершает доказательство теоремы

to give a proof — матем. дать доказательство

- a priori proof

- abridged proof

- absolute proof

- abstract proof

- acid proof

- algebraic proof

- alleged proof

- alternative proof

- analytical proof

- apagogic proof

- automatic proof

- brush proof

- classical proof

- combinatorial proof

- complete proof

- consistency proof

- constructive proof

- cyclic proof

- deductive proof

- detailed proof

- diagonal proof

- direct proof

- effective proof

- elementary proof

- exact proof

- existence proof

- experimental proof

- fallacious proof

- finitary proof

- finite proof

- first proof

- formal proof

- foundry proof

- galley proof

- general proof

- genetic proof

- geometric proof

- heuristic proof

- incomplete proof

- indirect proof

- inductive proof

- infallible proof

- informal proof

- intuitionistic proof

- intuitive proof

- irreducible proof

- irrefutable proof

- logical proof

- mathematical proof

- mechanical proof

- nonelementary proof

- page proof

- partial proof

- precise proof

- predicative proof

- press proof

- probabilistic proof

- proof of hypothesis

- proof of identity

- proof of necessity

- proof of sufficiency

- purely algebraic proof

- reductio ad absurdum proof

- regressive proof

- relative proof

- rigorous proof
- strong proof
- topological proof

- tree form proof

- variant proof

- verbal proof

English-Russian scientific dictionary > proof
7 tree

1) вчт древовидная схема; древовидный дешифратор

2) дерево (напр. графа) || древовидный

3) крист. дендрит

•

- tree of given strength
- tree of given weight
- tree of objectives
- tree of statements
- abstract syntax tree
- adaptive tree
- Adel'son-Vel'ski-Landis tree
- Aronshine tree
- AVL tree
- B-tree
- balanced tree
- bifurcation tree
- binary tree
- binary searchtree
- Boolean tree
- branching tree
- Cartesian tree
- Cayley tree
- choice tree
- classification tree
- classification and regression tree
- clock tree
- cluster tree
- co-tree
- code tree
- command tree
- complement tree
- complete code tree
- computation tree
- conference tree
- countable tree
- decision tree
- decomposition tree
- deduction tree
- derivation tree
- edge-rooted tree
- equipotential tree
- existence trie tree
- fault tree
- Feigenbaum tree
- Fibonacci tree
- finite tree
- fractal tree
- game tree
- generation tree
- graph tree
- hardware tree
- hierarchical tree
- homeomorphically irreducible tree
- Husimi tree
- hypothesis search tree
- inference tree
- information tree
- labeled tree
- language tree
- lexicographic tree
- loaded fractal tree
- logical tree
- minimal tree
- minimal length tree
- multibranch tree
- multiway tree
- normal tree
- optimal tree
- optimal merge tree
- optimal search tree
- ordered tree
- oriented tree
- outcome tree
- parse tree
- parsing tree
- patricia tree
- planar tree
- plane tree
- priority tree
- priority search tree
- probability tree
- production tree
- proper tree
- proof tree
- radix tree
- randomized binary tree
- RB tree
- recursive tree
- red-black tree
- response tree
- rooted tree
- search tree
- selection tree
- shortest tree
- shortest-distance tree
- signed tree
- spanning tree
- specific tree
- subject tree
- subspanning tree
- suffix tree
- symmetric tree
- syntax tree
- ternary tree
- ternary search tree
- threaded tree
- topological tree
- transition tree
- trie tree
- two-color tree
- two-dimensional tree
- two-level tree
- unlabeled tree
- weighted tree

English-Russian electronics dictionary > tree
8 tree

1) дерево, древо || засаживать деревьями

2) древовидная схема; древовидная структура

3) т. граф. дерево

4) pl дендритные образования на катоде ( при электроосаждении металлов)

tree from point — дерево из точки

tree with labeled nodes — дерево с помеченными вершинами

tree with ordered vertices — дерево с упорядоченными вершинами

to transport felled trees — трелевать заготовленный лес

- acyclic tree

- alternating tree

- arithmetical tree

- augmenting tree

- auxiliary tree

- balanced tree

- bicentral tree

- bicentroidal tree

- bichromatic tree

- bifurcating tree

- binary tree

- blossomed tree

- branch of tree

- branch tree

- broad-leaved tree

- bushy tree

- Cayley tree

- choice tree

- closed tree

- cluster tree

- code tree

- colored tree

- compact tree

- complete tree

- completely balanced tree

- computable tree

- computation tree

- concave tree

- continuous tree

- cospectral tree

- countable tree

- crop tree

- decision tree

- decomposition tree

- deduction tree

- degenerated tree

- depth-balanced tree

- derivation tree

- diagnostic tree

- directed tree

- dominator tree

- dual tree

- economy tree

- edge-rooted tree

- empty tree

- explicite tree

- extended tree

- family tree

- finite rooted directed tree

- finite tree

- finite-path tree

- flexible tree

- flowered tree

- folded tree

- formulation tree

- free tree

- full tree

- function tree

- generalized tree

- generation tree

- hierarchical tree

- homeomorphically irreducible tree

- identity tree

- implicite tree

- inference tree

- infinite tree

- inverted tree

- isometric tree

- labeled tree

- language tree

- late binding tree

- left-threaded tree

- line-rooted tree

- logical tree

- mast tree

- maximal tree

- minimal spanning tree

- minimal tree

- mission outcome tree
- mixed star tree
- monotonic tree

- m-tier tree

- multibranch tree

- multiway tree

- n-ary tree

- n-dimensional tree

- neighboring trees

- nonbinary tree

- nonisomorphic tree

- normal tree

- null tree

- number tree

- one-level tree

- optimal solution tree

- optimum tree

- ordered tree

- oriented tree

- parametric tree

- parsing tree

- partition of tree

- periodic tree

- pitch-yielding tree

- planar tree
- plane tree
- planted tree

- potential solution tree

- prefix tree

- probability tree

- production tree

- prognostic tree

- projective tree

- prolific tree

- proof tree

- pseudosemantic tree

- quotient tree

- radix tree

- random tree

- recursive tree

- reduced tree

- refutation tree

- regular tree

- relevance tree

- response tree

- right-threaded tree

- rubber tree

- search tree

- semiinfinite tree

- sequential tree

- set tree

- shallow tree

- shortest spanning tree

- shortest tree

- shortest-distance tree

- signed tree

- sink tree

- smooth tree

- solution tree

- sorting tree

- spanning tree

- spar tree

- spectrum tree

- split tree

- star tree

- strongly recursive tree

- stunted tree

- subspanning tree

- successor tree

- suppressed tree

- symmetric tree

- syntax tree

- ternary tree

- timber tree

- topological tree

- transition tree

- tree of objectives

- tree of statements

- trivalent tree

- trivial tree

- two-colored tree

- two-dimensional tree

- two-level tree

- undirected tree

- unlabeled tree

- unrooted tree

- upside down tree

- utility tree

- wayside trees

- weight-balanced trees

- weighted tree

- well-founded tree

English-Russian scientific dictionary > tree
9 tree

в соч.

- axle tree
- decision tree
- fir tree
- goal tree
- if-then logic tree
- interpretation tree
- logic tree
- proof tree
- tree of states

English-Russian dictionary of mechanical engineering and automation > tree
10 proof

1) доказательство || доказывать

2) проверка

3) обеспечивать сопротивляемость (напр., против неумелого использования)

•

- digital color proof
- direct digital color proof
- formal program proof
- formal proof
- indirect proof
- irreducible proof
- page proof
- program proof
- proof of termination
- tree form proof
- variant proof
- zero proof

English-Russian dictionary of computer science and programming > proof
11 proof

1. непроницаемость; доказательство

convincing proof — убедительное доказательство

independent proof — объективное доказательство

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

2. непроницаемый

radiation proof — непроницаемый для ионизирующего излучения

The English-Russian dictionary general scientific > proof
12 proof

доказательство; проверка; безопасный

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

conclusive proof — окончательное доказательство

correctness proof — доказательство правильности

English-Russian big medical dictionary > proof
13 tree form proof

доказательство в виде дерева

proof thread — нить доказательства

sure proof — верное доказательство

proof scheme — схема доказательства

proof theory — теория доказательств

rigorous proof — строгое доказательство

The English-Russian dictionary general scientific > tree form proof
14 tree form proof

доказательство в форме дерева, ветвящееся доказательство

Большой англо-русский и русско-английский словарь > tree form proof
15 tree form proof

1) Математика: доказательство в виде дерева

2) Вычислительная техника: ветвящееся доказательство, доказательство в форме дерева

Универсальный англо-русский словарь > tree form proof
16 tree form proof

доказательство в форме дерева, ветвящееся доказательство

English-Russian dictionary of computer science and programming > tree form proof
17 tree form proof

доказательство в виде дерева

English-Russian scientific dictionary > tree form proof
18 program proof

доказательство правильности программы

convincing proof — убедительное доказательство

independent proof — объективное доказательство

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

English-Russian base dictionary > program proof
19 irreducible proof

несводимое доказательство

independent proof — объективное доказательство

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

conclusive proof — окончательное доказательство

English-Russian big polytechnic dictionary > irreducible proof
20 rigorous proof

строгое доказательство

independent proof — объективное доказательство

indubitable proof — несомненное доказательство

proof positive — неопровержимое доказательство

tree form proof — доказательство в виде дерева

conclusive proof — окончательное доказательство

The English-Russian dictionary general scientific > rigorous proof

Страницы

См. также в других словарях:

Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia
Tree (graph theory) — Trees A labeled tree with 6 vertices and 5 edges Vertices v Edges v 1 Chromatic number … Wikipedia
Tree bog — A Treebog is a form of compost toilet which has willows, nettles and other nutrient hungry plants planted around it. The faeces are held in a chamber open to the air which allows it to decompose rapidly, feeding the trees around it. Unlike a… … Wikipedia
Tree preservation order — A Tree Preservation Order or TPO is a part of town and country planning in the United Kingdom. A TPO is made by a Local Planning Authority (usually a Local Council) to protect specific trees or a particular area, group or woodland from deliberate … Wikipedia
Combinatorial proof — In mathematics, the term combinatorial proof is often used to mean either of two types of proof of an identity in enumerative combinatorics that either states that two sets of combinatorial configurations, depending on one or more parameters,… … Wikipedia
Segment tree — In computer science, a segment tree is a tree data structure for storing intervals, or segments. It allows querying which of the stored segments contain a given point. It is, in principle, a static structure; that is, its content cannot be… … Wikipedia
List of One Tree Hill episodes — The following is a list of episodes for One Tree Hill, an American television series. One Tree Hill was created by Mark Schwahn, who has also written over a third of the episodes, including each season s premiere and season finale. Schwahn shares … Wikipedia
One Tree Hill (season 8) — One Tree Hill: Season 8 DVD cover art. Country of origin United States No. of episodes … Wikipedia
Double counting (proof technique) — In combinatorics, double counting, also called counting in two ways, is a combinatorial proof technique for showing that two expressions are equal by demonstrating that they are two ways of counting the size of one set. In this technique, which… … Wikipedia
Scapegoat tree — In computer science, a scapegoat tree is a self balancing binary search tree, invented by Igal Galperin and Ronald L. Rivest. It provides worst case O(log n ) lookup time, and O(log n ) amortized insertion and deletion time.Unlike other self… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

proof tree

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

proof tree

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: